#ifndef __EKF_HPET_I_H__
#define __EKF_HPET_I_H__

extern volatile uint64_t hpet[];

#endif
